quasi-trace
A quasi-trace on a -algebra , is a continuous , that satisfies for all and . For all commuting elements in . A theorem of Haagerup gives that every quasi-trace on an exact C-star algebra unital -algebra extends to a trace.